Network and Theorems